/* Benchmarks for the PionterC verifier. */

// null pointer dereference error

/*@ */
void main()
{
  int * p;
  
  p = null;
  p = alloc(int);
  *p = 99;  // <===== error!! null pointer dereference
  return;
}
/*@ */
